cs402 lec 20